see Fenchel conjugate

#incomplete